1

Proof-theoretic pluralism

Year:
2019
Language:
english
File:
PDF, 538 KB
english, 2019
2

Proof theory for quantified monotone modal logics

Year:
2019
Language:
english
File:
PDF, 850 KB
english, 2019
3

Free Quantified Epistemic Logics

Year:
2013
Language:
english
File:
PDF, 288 KB
english, 2013
4

Logicality, Double-Line Rules, and Modalities

Year:
2018
Language:
english
File:
PDF, 584 KB
english, 2018
5

Interpolation in Extensions of First-Order Logic

Year:
2019
Language:
english
File:
PDF, 465 KB
english, 2019